/tools export-ignore

*.php diff=php
